Géraud Sénizergues is a French computer scientist at the University of Bordeaux. He won the 2002 Gödel Prize "for proving that equivalence of deterministic pushdown automata is decidable"[1]